hardware verification meaning in English
硬件验证
Examples
- We verify the correctness of software in this co - verification platform , then use this correct software to verify the correctness of chip in the hardware verification platform
Rtos通过修改硬件抽象层，把文件输出重定向到新的显示终端，就实现了异构平台上的仿真。 - A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
一种支持分布式系统的正式验证且广泛发布的软件包是用于硬件验证的时态逻辑模型检查的示例。 - Md32 verification is implemented in both fpga hardware verification platform and software verification platform , which achieve unit , architecture and system verifications . md32 processor can be sufficiently verified on these platforms
通过软平台中的单元验证、结构验证、系统验证等步骤，以及基于fpga的硬平台验证，保证了md32处理器的正确性和完备性。 - The main process includes following : system design , module design , function simulation , time simulation and hardware verification . the whole system is divided into several modules and each module is connected by signals , which based on the arithmetic of uart and the requirement of design . the module design is to design inner circuit structure of each module and uses verilog language to code the code
系统设计是基于uart的实现算法和设计指标要求，对系统划分模块以及各个模块的信号连接;模块设计是设计出每个模块的功能，并用verilog一hdl语言编写代码来实现模块功能;功能仿真和时序仿真使用的工具是以dence的nc _ veri109 ，首先对系统的每个模块进行功能和时序仿真，仿真通过之后，将整个系统的代码在外部的输入端口加上激励，对整个系统进行功能和时序仿真;硬件验证是用fpga对系统进行了功能验证。